Plausibility and Belief Measures Induced by Kripke Models
نویسندگان
چکیده
Modal logic interpretations of plausibility and belief measures are developed based on the observation that the inverse of the value assignment function in a model of modal logic induces the upper plausibility and lower belief measures of the plausibility and belief measures induced by the accessibility relation, regarded as a multivalued mapping.
منابع مشابه
Bisimulation for Single-Agent Plausibility Models
Epistemic plausibility models are Kripke models agents use to reason about the knowledge and beliefs of themselves and each other. Restricting ourselves to the single-agent case, we determine when such models are indistinguishable in the logical language containing conditional belief, i.e., we define a proper notion of bisimulation, and prove that bisimulation corresponds to logical equivalence...
متن کاملBisimulation and expressivity for conditional belief, degrees of belief, and safe belief
Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of conditional belief contains that modality and also the knowledge modality, and similarly for the logic of degrees of belief and the logic of safe bel...
متن کاملSome remarks on the model theory of epistemic plausibility models
Traditional epistemic logic can be seen as a particular branch of modal logic. Its semantics is defined in terms of Kripke models, and philosophical principles about knowledge (e.g. factivity: Kφ→ φ) are shown to correspond to properties of the epistemic accessibility relation (e.g. reflexivity). By adding another (doxastic) accessibility relation, also belief can be treated in this framework. ...
متن کاملConditional Belief, Knowledge and Probability
A natural way to represent beliefs and the process of updating beliefs is presented by Bayesian probability theory, where belief of an agent a in P can be interpreted as a considering that P is more probable than not P. This paper attempts to get at the core logical notion underlying this. The paper presents a sound and complete neighbourhood logic for conditional belief and knowledge, and trac...
متن کاملExtensions of belief functions and possibility distributions by using the imprecise Dirichlet model
A belief function can be viewed as a generalized probability function and the belief and plausibility measures can be regarded as lower and upper bounds for the probability of an event. From this point of view, the common approach for computing belief and plausibility measures may be unreasonable in many real applications because there are cases where the probability function that governs the r...
متن کامل